(1+cot^2(x))*(cos^2(x))=cot^2(x)